In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

Body awareness refers to the individual ability to process signals originating from within the body, which provide a mapping of the body’s internal landscape and its relation with space and movement. The present study aims to evaluate psychometric properties and validate in French two self-report measures of body awareness: the Postural Awareness Scale, and the last version of the Multidimensional Assessment of Interoceptive Awareness questionnaire. We collected data in a non-clinical, adult sample using online survey, and a subset of the (...) original sample also completed the retest control. Factor analyses and reliability analyses were conducted. Construct validity of the PAS and the MAIA-2 were examined by testing their association with each other, and with self-report measures of personality, alexithymia and dispositional trait mindfulness. Factor analyses of the PAS supported the same two-factor structure as previously published versions. For the MAIA-2, factor analyses suggested that a six-factor structure, excluding Not-Worrying and Not-Distracting factors, could successfully account for a common general factor of self-reported interoception. We found satisfactory internal consistency, construct validity, and reliability over time for both the PAS and the MAIA-2. Altogether, our findings suggest that the French version of the PAS and the MAIA-2 are reliable self-report tools to assess both components of body awareness. (shrink)

Physical activity and sedentary behaviour have been linked to the mental health of children and adolescents, yet the timing of behaviours may play a role in this relationship and clarifying this could inform interventions. We explored cross-sectional associations of PA and SED in varying time segments throughout the school day with the mental health of school-aged children and adolescents from rural Northeastern Ontario, Canada. A total of 161 students wore accelerometers for 8 days and completed a self-report survey. Mental health (...) was measured using the Strengths and Difficulties Questionnaire. Accelerometer-measured SED, light PA, and moderate and vigorous PA were estimated in the time-segments before school, school time, after school, and evenings. Associations were tested with multilevel linear regressions while adjusting for confounding factors. Students spent 72.6 min in MVPA, 209.0 min in LPA, and 621.0 min in SED per day. Daily SED was associated with less conduct problems. Evening LPA was inversely associated with hyperactivity, while SED was associated with hyperactivity and with peer problems before school, and during school. No associations were observed for MVPA, emotional symptoms, or prosocial behaviour. In conclusion, displacing SED with LPA in some specific periods of the day may benefit the mental health of students; taking this into account could strengthen interventions. (shrink)

8 March, now known as International Women’s Day, is a day for feminist claims where demonstrations are organized in over 150 countries, with the participation of millions of women all around the world. These demonstrations can be viewed as collective rituals and thus focus attention on the processes that facilitate different psychosocial effects. This work aims to explore the mechanisms involved in participation in the demonstrations of 8 March 2020, collective and ritualized feminist actions, and their correlates associated with personal (...) well-being and collective well-being, collective efficacy and collective growth, and behavioral intention to support the fight for women’s rights. To this end, a cross-cultural study was conducted with the participation of 2,854 people from countries in Latin America and Europe, with a retrospective correlational cross-sectional design and a convenience sample. Participants were divided between demonstration participants and non-demonstrators or followers who monitored participants through the media and social networks. Compared with non-demonstrators and with males, female and non-binary gender respondents had greater scores in mechanisms and criterion variables. Further random-effects model meta-analyses revealed that the perceived emotional synchrony was consistently associated with more proximal mechanisms, as well as with criterion variables. Finally, sequential moderation analyses showed that proposed mechanisms successfully mediated the effects of participation on every criterion variable. These results indicate that participation in 8M marches and demonstrations can be analyzed through the literature on collective rituals. As such, collective participation implies positive outcomes both individually and collectively, which are further reinforced through key psychological mechanisms, in line with a Durkheimian approach to collective rituals. (shrink)

In his thesis 'Para uma Teoria Geral dos Homomorfismos' (1944) the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

Automatized scalable healthcare support solutions allow real-time 24/7 health monitoring of patients, prioritizing medical treatment according to health conditions, reducing medical appointments in clinics and hospitals, and enabling easy exchange of information among healthcare professionals. With recent health safety guidelines due to the COVID-19 pandemic, protecting the elderly has become imperative. However, state-of-the-art health wearable device platforms present limitations in hardware, parameter estimation algorithms, and software architecture. This paper proposes a complete framework for health systems composed of multi-sensor wearable health (...) devices, high-resolution parameter estimation, and real-time monitoring applications. The framework is appropriate for real-time monitoring of elderly patients' health without physical contact with healthcare professionals, maintaining safety standards. The hardware includes sensors for monitoring steps, pulse oximetry, heart rate, and temperature using low-power wireless communication. In terms of parameter estimation, the embedded circuit uses high-resolution signal processing algorithms that result in an improved measure of the HR. The proposed high-resolution signal processing-based approach outperforms state-of-the-art HR estimation measurements using the photoplethysmography sensor. (shrink)

No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...) de premissas opostas (contrárias e contraditórias) estudadas pelo Estagirita no Analytica Priora (B15). De acordo com o autor, os seguintes silogismos são válidos a partir de premissas opostas, nos quais letras latinas minúsculas denotam termos como sujeito e predicado, enquanto que letras latinas maiúsculas denotam proposições categóricas tal como na notação tradicional: (i) na segunda figura, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), e Aba,Oba ` Oaa (Baroco); (ii) na terceira, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) e Eab, Iab ` Oaa (Ferison). Por fim, discutimos a passagem do Analytica Posteriora (A11) no qual Aristóteles enuncia que o Princípio de Não-Contradição não é, em geral, pressuposto de toda demonstração (silogismo científico), mas apenas daquelas nas quais a conclusão deve ser provada a partir do Princípio; o Estagirita enuncia que se um silogismo da primeira figura tiver o termo maior consistente, os outros termos da demonstração podem ser separadamente inconsistentes. Estes resultados permitem-nos propor uma interpretação de sua teoria dedutiva como uma teoria paraconsistente lato sensu. Primeiramente, efetuamos uma análise hermenêutica, avaliando seu significado lógico e a correlação desses resultados com outros aspectos da filosofia de Aristóteles. Em segundo lugar, consignamos uma interpretação dos silogismos aristotélicos a partir de premissas opostas à luz dos antilogismos propostos por Christine Ladd-Franklin em 1883, e da demonstração aristotélica com termos inconsistentes nas lógicas paraconsistentes Cn, 1 n !, introduzidas por da Costa em 1963. Esses dois aspectos não parecem ter sido ainda detalhadamente analisados na literatura. DOI:10.5007/1808-1711.2010v14n1p71. (shrink)

In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises (contrary and contradictory) studied (...) by the Stagerian in the Analytica Priora (B15). According to him, the following syllogisms are valid from opposite premises, in which small Latin letters stand for terms such as subject and predicate, and capital Latin letters stand for the categorical propositions such as in the traditional notation: (i) in the second figure, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), and Aba,Oba ` Oaa (Baroco); (ii) in the third one, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) and Eab, Iab ` Oaa (Ferison). Finally, we discuss the passage from the Analytica Posteriora (A11) in which Aristotle states that the Principle of Non-Contradiction is not generally presupposed in all demonstrations (scientific syllogisms), but only in those in which the conclusion must be proved from the Principle; the Stagerian states that if a syllogism of the first figure has the major term consistent, the other terms of the demonstration can be each one separately inconsistent. These results allow us to propose an interpretation of his deductive theory as a broad sense paraconsistent theory. Firstly, we proceed to a hermeneutical analysis, evaluating its logical significance and the interplay of the results with some other points of Aristotle’s philosophy. Secondly, we point to a logical interpretation of the Aristotelian syllogisms from opposite premises in the antilogisms method proposed by Christine Ladd-Franklin in 1883, and we also present a logical treatment of the Aristotelian demonstration with inconsistent material in the paraconsistent logics Cn, 1 _ n _!, introduced by da Costa in 1963. These two issues seem having not yet been analysed in detail in the literature. (shrink)

Gennaro Chtjerchia, Dynamics of meaning: anaphora, presupposition, and the the of grammar. Chicago and London: The University of Chicago Press, 1995.xv+ 270 pp, £59.95, £31.95 G. Pr...

Objective: Symptom improvement is often examined as an indicator of a good outcome of accessing mental health services. However, there is little evidence of whether symptom improvement is associated with other indicators of a good outcome, such as a mutual agreement to end treatment. The aim of this study was to examine whether young people accessing mental health services who meaningfully improved were more likely to mutually agree to end treatment.Methods: Multilevel multinomial regression analysis controlling for age, gender, ethnicity, and (...) referral source was conducted on N = 8,995 episodes of care [Female = 5,469, 61%; meanAge = 13.66 years] using anonymised administrative data from young people's mental health services.Results: Compared to young people with no change in mental health difficulties, those showing positive meaningful changes in mental health difficulties were less likely to have case closure due to non-mutual agreement. Similarly, they were less likely to transfer or end treatment for other reasons than by case closure due to mutual agreement.Conclusion: The findings suggest that young people accessing mental health services whose symptoms meaningfully improve are more likely to mutually agree to end treatment, adding to the evidence that symptom improvement may be appropriate to examine as an indicator of a good outcome of accessing mental health services. (shrink)

A obra Consequências da liberdade, publicada no ano de 2011 pela Editora Universitária da UFPE, é primeira obra do escritor e filósofo Geraldo Euclides da Silva, e que certamente se firmará no cenário de exegese das pesquisas sobre o pensamento existencialista de corte sartreano.

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “(k)”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC (...) n, 1≤n<ω, and also prove that these systems are logically equivalent to the corresponding systems Cn, 1≤n<ω. The systems TNDC n constitute completely automated theorem proving systems for the systems of da Costa's hierarchy Cn, 1≤n<ω. (shrink)

A obra Consequências da liberdade, publicada no ano de 2011 pela Editora Universitária da UFPE, é primeira obra do escritor e filósofo Geraldo Euclides da Silva, e que certamente se firmará no cenário de exegese das pesquisas sobre o pensamento existencialista de corte sartreano.

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤nCosta's hierarchy of propositional paraconsistent logics Cn, 1≤nCosta's ?ball? operator ?o?, the generalized operators ?k? and ?(k)?, for 1≤k, and the negations ?~k?, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC (...) n, 1≤nCosta's hierarchy Cn, 1≤nshrink)

Dados da tradução brasileira de HEGEL, Georg Wilhelm Friedrich. Linhas Fundamentais da Filosofia do Direito ou Direito Natural e Ciência do Estado em Compêndio. Tradução, notas, glossário e bibliografia de Paulo Meneses et alli. Apresentações de Denis Lerrer Rosenfield e de Paulo Roberto Konzen. São Paulo: Loyola; São Leopoldo: UNISINOS, 2010.

O Trabalho pretende expor os traços iniciais da fenomenologia hermenêutica de Heidegger a partir da crítica realizada pelo autor ao método crítico-teleológico do neokantismo de Baden na preleção de 1919 A ideia da filosofia e o problema da concepção de mundo.

Tenho escrito muitos prefácios para livros, mas nenhum me deu tanto prazer em tempos recentes quanto o livro de Caetano Costa. Estou a falar de quê? De um livro de teoria jurídica, de um livro de sociologia do direito, de um romance que tem como principais personagens dois juízes? Estou a falar de tudo isso e nessa complexidade reside o fascínio desta obra, cuja leitura eu recomendo vivamente a todos e a todas.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...) be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

Resumo: O presente estudo investiga de modo introdutório como se articulam as noções de feminino, sexualidade e intelecção em Tomás de Aquino e Christine de Pizan. Buscamos entender, aqui, se, para os autores, a sexualidade humana possui alguma função na operação que apreende o inteligível, quer dizer, investigamos se a característica normal, material e natural de determinado corpo humano em possuir estes ou aqueles órgãos naturais têm influência na operação intelectual. Nesta investigação, ademais, nos concentramos na tese afirmada por Tomás (...) segundo a qual a potência intelectual humana do animal fêmea é inferior à potência intelectual do animal macho e, isso, simplesmente porque o animal fêmea é fêmea, uma tese totalmente arbitrária e inconsistente, se lida a partir de noção de feminino de Christine. Para cumprir com o objetivo, o texto possui três seções. Na primeira, apresentamos a tese de Christine segundo a qual a fêmea humana é perfeita por natureza. Na segunda, por sua vez, analisamos a tese tomista segundo a qual não há uma mecânica própria para a geração da fêmea vivípara. Na terceira, enfim, investigamos os fundamentos da asserção tomista sobre a deficiência da intelecção feminina. (shrink)

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of (...) Gödelian 3-valued logic G3). All logics in the paper are paraconsistent. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

The debate about constructivism in physics has led to different kinds of questions that can be conventionally framed in two classes. One concerns the mathematics that is considered for the theoretical development of physics. The other is concerned with the experimental parts of physical theories. It is unnecessary to observe that the intersection between our two classes of problems is far from being empty. In this paper we will mainly deal with topics belonging to the second class. However, let us (...) briefly mention some important problems that have been debated in the framework of our first class. For instance, the following: to what extent do the undecidability and incompleteness results of classical mathematics affect fragments of physical theories, in such way as to have a “real physical meaning”? are the mathematical arguments that seem to be essential for physics justifiable in the framework of traditional mathematical constructivism?The first question has recently been investigated by Pitowski, Penrose, da Costa, Doria, Mundici, Svozil and others. As expected by most logicians, one can construct undecidable sentences whose physical meaning seems to be hardly questionable. This happens both in classical and in quantum mechanics. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

This paper is concerned with the particular problems raised by observations of phenomena outside the common course of nature for their validation as knowledge. It examines to what extent the content of the reports and, in particular, their lack of intrinsic plausibility affected the methods used in their authentication and the assessment of testimony at the Royal Society in the first half of the eighteenth century. I show that literary strategies were usually necessary but not sufficient for the validation of (...) these kinds of observations. Next, I discuss why visual representations were especially useful in establishing the singularity of the observations, but I point out that their high costs and other restrictions meant that they were not so widespread. In contrast I show that, for a long period of time, testimony was used in the majority of the reports as the true stamp of authenticity. I note, however, that the Royal Society accepted reports by authors of varied social status, level of education and occupation, and I discuss some of the factors responsible for the complexity of the handling of testimony at the Society. I argue against Shapin that in the case of reports of extraordinary phenomena, the competence of the reporter and witnesses was often more important than their social status. The increasing role of expertise in the assessment of observations at the Society become especially apparent by the middle of the eighteenth century.Author Keywords: Authentication; Competence; Monstrous births; Singular; Testimony; Royal Society of London. (shrink)